/* Gannet OS - Kernel - the basic kernel file
 
 This is the C section of the kernel, which will provide various functions in the
 OS. At the moment this is based on the barebones kernel from osdev.org, but will
 radically change throughout the year.

 This is part of the Gannet OS, For copy right and licensing see LICENSE in the 
 root folder, or visit http://gannet.org.uk/license/
*/
 
 
#include "vga.h"
#include "serial.h"

void kernel_main()
{
	 vga_initialise(); 


	 vga_log(" _____                        _                                                 |  __ \\                      | |   Gannet Operating System - DEVELOPMENT BRANCH | |  \\/ __ _ _ __  _ __   ___| |_       Developed by James Taylor 2013/14       | | __ / _` | '_ \\| '_ \\ / _ \\ __| This is a prototype OS for prototype reasons | |_\\ \\ (_| | | | | | | |  __/ |_                                                \\____/\\__,_|_| |_|_| |_|\\___|\\__|             http://gannet.org.uk             ===============================================================================");
	 
	 serial_initialise();
	 serial_write_string("Gannet Operating System Serial Output debug\r\n");
	 serial_write_string("===========================================\r\n");
	 
	 
}